Nuprl Definition : tree_con 4,23
tree_con(E;T) == E+TT 
latex

Definitionstree_con(E;T)
FDL editor aliasestree_con

origin